361. Exploring the early digital /
Author: Thomas Haigh, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
Classification :
QA75
.
5
.
E96
2019
362. FORTRAN/77
Author: / V.A. Dyck, J.D. Lawson, J.A. Smith
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: FORTRAN 77 (Computer program language),Mathematics - Computer programs,Electronic digital computers - Programming
Classification :
QA
76
.
73
.
F25D9
1983
363. FORTRAN/77
Author: / V.A. Dyck, J.D. Lawson, J.A. Smith
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: FORTRAN 77 (Computer program language),Mathematics - Computer programs,Electronic digital computers - Programming
Classification :
QA
76
.
73
.
F25D9
1983
364. FORTRAN/77
Author: / V. A. Dyck, J. D. Lawson, J. A. Smith
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: FORTRAN (computer program language),Mathematics- Computer programs,Electronic digital compouters- Programming
Classification :
QA76
.
73
.
F25
,
D9
1984
365. FORTRAN IV programming
Author: / M .G . Chopra [ and ] Ram Kumar,Chopra
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: FORTRAN (Computer program language),Electronic digital computers -- Programming
Classification :
QA
76
.
73
.
F25C4
1980
366. FPRTRAN 77
Author: / V. A. Dyck, J. D. Lawson, J. A. Smith.,Dyck
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: FORTRAN (Computer program language),mathematics-- computer programs,Electronic digital computers - Programming
Classification :
QA
76
.
73
.
F25D9
1983
367. Facing the Multicore - Challenge II
Author: edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
368. Fields of Logic and Computation II
Author: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
76
.
9
.
L63
F54
2015
E-Book
,
369. First course in algorithms through puzzles /
Author: Ryuhei Uehara.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer algorithms.
Classification :
QA9
.
58
370. First step in programming
Author: Lee, David
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming )Electronic computers(,، Electronic digital computers programming
Classification :
QA
76
.
5
.
L46
371. First steps in programming
Author: Lee, David
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer programming
Classification :
QA
76
.
6
.
L56
1976
372. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
Author: Wilfried Brauer...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
Classification :
QA
76
.
L28
Vol
.
2300
373. Formal aspects of component software :
Author: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
374. Formal methods :
Author: Tiago Massoni, Mohammad Reza Mousavi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
375. Formal methods and software engineering :
Author: Jing Sun, Meng Sun (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
9
.
F67
376. Formal modeling and analysis of timed systems :
Author: David N. Jansen, Pavithra Prabhakar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
Classification :
QA76
.
9
.
F67
377. Fortran 77
Author: / V.A.Dyck , J.D. Lawson , J.A. Smith
Library: Library of Graduate Faculty of Environment of Tehran Univerdity (Tehran)
Subject: FORTRAN 77 (Computer program language),Mathematics ــ Computer programs.,Computer programming. ــ Computer programs.
Classification :
QA
76
.
73
.
F25D9
1984
378. Fortran, 77; An introduction to structure problem solving
Author: Dyck, V. A
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Fortran (Computer program Language ► Mathematics-Computer programs ► Electronic digital computers-Programming
Classification :
001
D994f
379. Fortran IV programming [For engineering theoretical physics, applied mathematics,...]
Author: / M.G. Chopra, Ram Kumar
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
QA76
,.
73
،.
F25D63
1992
380. Fortran codes for mathematical programming
Author: / (by) A. H. Land (and) S. Powell
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming (Mathematics) -- Data processing,FORTRAN (Computer program language)
Classification :
QA
402
.
5
.
L33
